Linux device drivers in Cyclone
The source for four linux device drivers ported to Cyclone can be found here. Kernel headers known to work with these drivers can be found here.
A very rough tech report describing the implementation of each of these drivers is here.
For more information contact nswamy AT cs DOT umd DOT edu